//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

//====================================================
// Created     : 2004-1-4
// Author      : Fan Dian
// Description : Some test functions for kernel state
//====================================================

#include <core.h>
#include <../core/inc/init.h>

//====================================================
// Description  : Test Kernel State
// Parameters   : None
// Return       : None
//====================================================
inline void TestKernelState()
{
    // print the state of the kernel
    kprintf("g_kernelState = %d\n", g_kernelState);
}
